Integrand size = 43, antiderivative size = 273 \[ \int \frac {\cos ^{\frac {7}{2}}(c+d x) \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^3} \, dx=\frac {7 (7 A-17 B+33 C) E\left (\left .\frac {1}{2} (c+d x)\right |2\right )}{10 a^3 d}-\frac {(13 A-33 B+63 C) \operatorname {EllipticF}\left (\frac {1}{2} (c+d x),2\right )}{6 a^3 d}-\frac {(13 A-33 B+63 C) \sqrt {\cos (c+d x)} \sin (c+d x)}{6 a^3 d}+\frac {7 (7 A-17 B+33 C) \cos ^{\frac {3}{2}}(c+d x) \sin (c+d x)}{30 a^3 d}-\frac {(A-B+C) \cos ^{\frac {9}{2}}(c+d x) \sin (c+d x)}{5 d (a+a \cos (c+d x))^3}-\frac {(2 A-7 B+12 C) \cos ^{\frac {7}{2}}(c+d x) \sin (c+d x)}{15 a d (a+a \cos (c+d x))^2}-\frac {(13 A-33 B+63 C) \cos ^{\frac {5}{2}}(c+d x) \sin (c+d x)}{10 d \left (a^3+a^3 \cos (c+d x)\right )} \]
[Out]
Time = 0.76 (sec) , antiderivative size = 273, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 6, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.140, Rules used = {3120, 3056, 2827, 2715, 2720, 2719} \[ \int \frac {\cos ^{\frac {7}{2}}(c+d x) \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^3} \, dx=-\frac {(13 A-33 B+63 C) \operatorname {EllipticF}\left (\frac {1}{2} (c+d x),2\right )}{6 a^3 d}+\frac {7 (7 A-17 B+33 C) E\left (\left .\frac {1}{2} (c+d x)\right |2\right )}{10 a^3 d}-\frac {(13 A-33 B+63 C) \sin (c+d x) \cos ^{\frac {5}{2}}(c+d x)}{10 d \left (a^3 \cos (c+d x)+a^3\right )}+\frac {7 (7 A-17 B+33 C) \sin (c+d x) \cos ^{\frac {3}{2}}(c+d x)}{30 a^3 d}-\frac {(13 A-33 B+63 C) \sin (c+d x) \sqrt {\cos (c+d x)}}{6 a^3 d}-\frac {(A-B+C) \sin (c+d x) \cos ^{\frac {9}{2}}(c+d x)}{5 d (a \cos (c+d x)+a)^3}-\frac {(2 A-7 B+12 C) \sin (c+d x) \cos ^{\frac {7}{2}}(c+d x)}{15 a d (a \cos (c+d x)+a)^2} \]
[In]
[Out]
Rule 2715
Rule 2719
Rule 2720
Rule 2827
Rule 3056
Rule 3120
Rubi steps \begin{align*} \text {integral}& = -\frac {(A-B+C) \cos ^{\frac {9}{2}}(c+d x) \sin (c+d x)}{5 d (a+a \cos (c+d x))^3}+\frac {\int \frac {\cos ^{\frac {7}{2}}(c+d x) \left (\frac {1}{2} a (A+9 B-9 C)+\frac {5}{2} a (A-B+3 C) \cos (c+d x)\right )}{(a+a \cos (c+d x))^2} \, dx}{5 a^2} \\ & = -\frac {(A-B+C) \cos ^{\frac {9}{2}}(c+d x) \sin (c+d x)}{5 d (a+a \cos (c+d x))^3}-\frac {(2 A-7 B+12 C) \cos ^{\frac {7}{2}}(c+d x) \sin (c+d x)}{15 a d (a+a \cos (c+d x))^2}+\frac {\int \frac {\cos ^{\frac {5}{2}}(c+d x) \left (-\frac {7}{2} a^2 (2 A-7 B+12 C)+\frac {5}{2} a^2 (5 A-10 B+21 C) \cos (c+d x)\right )}{a+a \cos (c+d x)} \, dx}{15 a^4} \\ & = -\frac {(A-B+C) \cos ^{\frac {9}{2}}(c+d x) \sin (c+d x)}{5 d (a+a \cos (c+d x))^3}-\frac {(2 A-7 B+12 C) \cos ^{\frac {7}{2}}(c+d x) \sin (c+d x)}{15 a d (a+a \cos (c+d x))^2}-\frac {(13 A-33 B+63 C) \cos ^{\frac {5}{2}}(c+d x) \sin (c+d x)}{10 d \left (a^3+a^3 \cos (c+d x)\right )}+\frac {\int \cos ^{\frac {3}{2}}(c+d x) \left (-\frac {15}{4} a^3 (13 A-33 B+63 C)+\frac {35}{4} a^3 (7 A-17 B+33 C) \cos (c+d x)\right ) \, dx}{15 a^6} \\ & = -\frac {(A-B+C) \cos ^{\frac {9}{2}}(c+d x) \sin (c+d x)}{5 d (a+a \cos (c+d x))^3}-\frac {(2 A-7 B+12 C) \cos ^{\frac {7}{2}}(c+d x) \sin (c+d x)}{15 a d (a+a \cos (c+d x))^2}-\frac {(13 A-33 B+63 C) \cos ^{\frac {5}{2}}(c+d x) \sin (c+d x)}{10 d \left (a^3+a^3 \cos (c+d x)\right )}+\frac {(7 (7 A-17 B+33 C)) \int \cos ^{\frac {5}{2}}(c+d x) \, dx}{12 a^3}-\frac {(13 A-33 B+63 C) \int \cos ^{\frac {3}{2}}(c+d x) \, dx}{4 a^3} \\ & = -\frac {(13 A-33 B+63 C) \sqrt {\cos (c+d x)} \sin (c+d x)}{6 a^3 d}+\frac {7 (7 A-17 B+33 C) \cos ^{\frac {3}{2}}(c+d x) \sin (c+d x)}{30 a^3 d}-\frac {(A-B+C) \cos ^{\frac {9}{2}}(c+d x) \sin (c+d x)}{5 d (a+a \cos (c+d x))^3}-\frac {(2 A-7 B+12 C) \cos ^{\frac {7}{2}}(c+d x) \sin (c+d x)}{15 a d (a+a \cos (c+d x))^2}-\frac {(13 A-33 B+63 C) \cos ^{\frac {5}{2}}(c+d x) \sin (c+d x)}{10 d \left (a^3+a^3 \cos (c+d x)\right )}+\frac {(7 (7 A-17 B+33 C)) \int \sqrt {\cos (c+d x)} \, dx}{20 a^3}-\frac {(13 A-33 B+63 C) \int \frac {1}{\sqrt {\cos (c+d x)}} \, dx}{12 a^3} \\ & = \frac {7 (7 A-17 B+33 C) E\left (\left .\frac {1}{2} (c+d x)\right |2\right )}{10 a^3 d}-\frac {(13 A-33 B+63 C) \operatorname {EllipticF}\left (\frac {1}{2} (c+d x),2\right )}{6 a^3 d}-\frac {(13 A-33 B+63 C) \sqrt {\cos (c+d x)} \sin (c+d x)}{6 a^3 d}+\frac {7 (7 A-17 B+33 C) \cos ^{\frac {3}{2}}(c+d x) \sin (c+d x)}{30 a^3 d}-\frac {(A-B+C) \cos ^{\frac {9}{2}}(c+d x) \sin (c+d x)}{5 d (a+a \cos (c+d x))^3}-\frac {(2 A-7 B+12 C) \cos ^{\frac {7}{2}}(c+d x) \sin (c+d x)}{15 a d (a+a \cos (c+d x))^2}-\frac {(13 A-33 B+63 C) \cos ^{\frac {5}{2}}(c+d x) \sin (c+d x)}{10 d \left (a^3+a^3 \cos (c+d x)\right )} \\ \end{align*}
Result contains higher order function than in optimal. Order 5 vs. order 4 in optimal.
Time = 11.41 (sec) , antiderivative size = 1534, normalized size of antiderivative = 5.62 \[ \int \frac {\cos ^{\frac {7}{2}}(c+d x) \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^3} \, dx=\frac {26 A \cos ^6\left (\frac {c}{2}+\frac {d x}{2}\right ) \csc \left (\frac {c}{2}\right ) \, _2F_1\left (\frac {1}{4},\frac {1}{2};\frac {5}{4};\sin ^2(d x-\arctan (\cot (c)))\right ) \sec \left (\frac {c}{2}\right ) \sec (d x-\arctan (\cot (c))) \sqrt {1-\sin (d x-\arctan (\cot (c)))} \sqrt {-\sqrt {1+\cot ^2(c)} \sin (c) \sin (d x-\arctan (\cot (c)))} \sqrt {1+\sin (d x-\arctan (\cot (c)))}}{3 d (a+a \cos (c+d x))^3 \sqrt {1+\cot ^2(c)}}-\frac {22 B \cos ^6\left (\frac {c}{2}+\frac {d x}{2}\right ) \csc \left (\frac {c}{2}\right ) \, _2F_1\left (\frac {1}{4},\frac {1}{2};\frac {5}{4};\sin ^2(d x-\arctan (\cot (c)))\right ) \sec \left (\frac {c}{2}\right ) \sec (d x-\arctan (\cot (c))) \sqrt {1-\sin (d x-\arctan (\cot (c)))} \sqrt {-\sqrt {1+\cot ^2(c)} \sin (c) \sin (d x-\arctan (\cot (c)))} \sqrt {1+\sin (d x-\arctan (\cot (c)))}}{d (a+a \cos (c+d x))^3 \sqrt {1+\cot ^2(c)}}+\frac {42 C \cos ^6\left (\frac {c}{2}+\frac {d x}{2}\right ) \csc \left (\frac {c}{2}\right ) \, _2F_1\left (\frac {1}{4},\frac {1}{2};\frac {5}{4};\sin ^2(d x-\arctan (\cot (c)))\right ) \sec \left (\frac {c}{2}\right ) \sec (d x-\arctan (\cot (c))) \sqrt {1-\sin (d x-\arctan (\cot (c)))} \sqrt {-\sqrt {1+\cot ^2(c)} \sin (c) \sin (d x-\arctan (\cot (c)))} \sqrt {1+\sin (d x-\arctan (\cot (c)))}}{d (a+a \cos (c+d x))^3 \sqrt {1+\cot ^2(c)}}+\frac {\cos ^6\left (\frac {c}{2}+\frac {d x}{2}\right ) \sqrt {\cos (c+d x)} \left (-\frac {4 (29 A-59 B+99 C+20 A \cos (c)-60 B \cos (c)+132 C \cos (c)) \csc (c)}{5 d}+\frac {16 (B-3 C) \cos (d x) \sin (c)}{3 d}+\frac {8 C \cos (2 d x) \sin (2 c)}{5 d}-\frac {2 \sec \left (\frac {c}{2}\right ) \sec ^5\left (\frac {c}{2}+\frac {d x}{2}\right ) \left (A \sin \left (\frac {d x}{2}\right )-B \sin \left (\frac {d x}{2}\right )+C \sin \left (\frac {d x}{2}\right )\right )}{5 d}+\frac {4 \sec \left (\frac {c}{2}\right ) \sec ^3\left (\frac {c}{2}+\frac {d x}{2}\right ) \left (14 A \sin \left (\frac {d x}{2}\right )-19 B \sin \left (\frac {d x}{2}\right )+24 C \sin \left (\frac {d x}{2}\right )\right )}{15 d}-\frac {4 \sec \left (\frac {c}{2}\right ) \sec \left (\frac {c}{2}+\frac {d x}{2}\right ) \left (29 A \sin \left (\frac {d x}{2}\right )-59 B \sin \left (\frac {d x}{2}\right )+99 C \sin \left (\frac {d x}{2}\right )\right )}{5 d}+\frac {16 (B-3 C) \cos (c) \sin (d x)}{3 d}+\frac {8 C \cos (2 c) \sin (2 d x)}{5 d}+\frac {4 (14 A-19 B+24 C) \sec ^2\left (\frac {c}{2}+\frac {d x}{2}\right ) \tan \left (\frac {c}{2}\right )}{15 d}-\frac {2 (A-B+C) \sec ^4\left (\frac {c}{2}+\frac {d x}{2}\right ) \tan \left (\frac {c}{2}\right )}{5 d}\right )}{(a+a \cos (c+d x))^3}-\frac {49 A \cos ^6\left (\frac {c}{2}+\frac {d x}{2}\right ) \csc \left (\frac {c}{2}\right ) \sec \left (\frac {c}{2}\right ) \left (\frac {\, _2F_1\left (-\frac {1}{2},-\frac {1}{4};\frac {3}{4};\cos ^2(d x+\arctan (\tan (c)))\right ) \sin (d x+\arctan (\tan (c))) \tan (c)}{\sqrt {1-\cos (d x+\arctan (\tan (c)))} \sqrt {1+\cos (d x+\arctan (\tan (c)))} \sqrt {\cos (c) \cos (d x+\arctan (\tan (c))) \sqrt {1+\tan ^2(c)}} \sqrt {1+\tan ^2(c)}}-\frac {\frac {\sin (d x+\arctan (\tan (c))) \tan (c)}{\sqrt {1+\tan ^2(c)}}+\frac {2 \cos ^2(c) \cos (d x+\arctan (\tan (c))) \sqrt {1+\tan ^2(c)}}{\cos ^2(c)+\sin ^2(c)}}{\sqrt {\cos (c) \cos (d x+\arctan (\tan (c))) \sqrt {1+\tan ^2(c)}}}\right )}{5 d (a+a \cos (c+d x))^3}+\frac {119 B \cos ^6\left (\frac {c}{2}+\frac {d x}{2}\right ) \csc \left (\frac {c}{2}\right ) \sec \left (\frac {c}{2}\right ) \left (\frac {\, _2F_1\left (-\frac {1}{2},-\frac {1}{4};\frac {3}{4};\cos ^2(d x+\arctan (\tan (c)))\right ) \sin (d x+\arctan (\tan (c))) \tan (c)}{\sqrt {1-\cos (d x+\arctan (\tan (c)))} \sqrt {1+\cos (d x+\arctan (\tan (c)))} \sqrt {\cos (c) \cos (d x+\arctan (\tan (c))) \sqrt {1+\tan ^2(c)}} \sqrt {1+\tan ^2(c)}}-\frac {\frac {\sin (d x+\arctan (\tan (c))) \tan (c)}{\sqrt {1+\tan ^2(c)}}+\frac {2 \cos ^2(c) \cos (d x+\arctan (\tan (c))) \sqrt {1+\tan ^2(c)}}{\cos ^2(c)+\sin ^2(c)}}{\sqrt {\cos (c) \cos (d x+\arctan (\tan (c))) \sqrt {1+\tan ^2(c)}}}\right )}{5 d (a+a \cos (c+d x))^3}-\frac {231 C \cos ^6\left (\frac {c}{2}+\frac {d x}{2}\right ) \csc \left (\frac {c}{2}\right ) \sec \left (\frac {c}{2}\right ) \left (\frac {\, _2F_1\left (-\frac {1}{2},-\frac {1}{4};\frac {3}{4};\cos ^2(d x+\arctan (\tan (c)))\right ) \sin (d x+\arctan (\tan (c))) \tan (c)}{\sqrt {1-\cos (d x+\arctan (\tan (c)))} \sqrt {1+\cos (d x+\arctan (\tan (c)))} \sqrt {\cos (c) \cos (d x+\arctan (\tan (c))) \sqrt {1+\tan ^2(c)}} \sqrt {1+\tan ^2(c)}}-\frac {\frac {\sin (d x+\arctan (\tan (c))) \tan (c)}{\sqrt {1+\tan ^2(c)}}+\frac {2 \cos ^2(c) \cos (d x+\arctan (\tan (c))) \sqrt {1+\tan ^2(c)}}{\cos ^2(c)+\sin ^2(c)}}{\sqrt {\cos (c) \cos (d x+\arctan (\tan (c))) \sqrt {1+\tan ^2(c)}}}\right )}{5 d (a+a \cos (c+d x))^3} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(665\) vs. \(2(301)=602\).
Time = 18.91 (sec) , antiderivative size = 666, normalized size of antiderivative = 2.44
[In]
[Out]
Result contains higher order function than in optimal. Order 9 vs. order 4.
Time = 0.15 (sec) , antiderivative size = 552, normalized size of antiderivative = 2.02 \[ \int \frac {\cos ^{\frac {7}{2}}(c+d x) \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^3} \, dx=\frac {2 \, {\left (12 \, C \cos \left (d x + c\right )^{4} + 4 \, {\left (5 \, B - 6 \, C\right )} \cos \left (d x + c\right )^{3} - 3 \, {\left (29 \, A - 79 \, B + 147 \, C\right )} \cos \left (d x + c\right )^{2} - 2 \, {\left (73 \, A - 188 \, B + 357 \, C\right )} \cos \left (d x + c\right ) - 65 \, A + 165 \, B - 315 \, C\right )} \sqrt {\cos \left (d x + c\right )} \sin \left (d x + c\right ) - 5 \, {\left (\sqrt {2} {\left (-13 i \, A + 33 i \, B - 63 i \, C\right )} \cos \left (d x + c\right )^{3} + 3 \, \sqrt {2} {\left (-13 i \, A + 33 i \, B - 63 i \, C\right )} \cos \left (d x + c\right )^{2} + 3 \, \sqrt {2} {\left (-13 i \, A + 33 i \, B - 63 i \, C\right )} \cos \left (d x + c\right ) + \sqrt {2} {\left (-13 i \, A + 33 i \, B - 63 i \, C\right )}\right )} {\rm weierstrassPInverse}\left (-4, 0, \cos \left (d x + c\right ) + i \, \sin \left (d x + c\right )\right ) - 5 \, {\left (\sqrt {2} {\left (13 i \, A - 33 i \, B + 63 i \, C\right )} \cos \left (d x + c\right )^{3} + 3 \, \sqrt {2} {\left (13 i \, A - 33 i \, B + 63 i \, C\right )} \cos \left (d x + c\right )^{2} + 3 \, \sqrt {2} {\left (13 i \, A - 33 i \, B + 63 i \, C\right )} \cos \left (d x + c\right ) + \sqrt {2} {\left (13 i \, A - 33 i \, B + 63 i \, C\right )}\right )} {\rm weierstrassPInverse}\left (-4, 0, \cos \left (d x + c\right ) - i \, \sin \left (d x + c\right )\right ) - 21 \, {\left (\sqrt {2} {\left (-7 i \, A + 17 i \, B - 33 i \, C\right )} \cos \left (d x + c\right )^{3} + 3 \, \sqrt {2} {\left (-7 i \, A + 17 i \, B - 33 i \, C\right )} \cos \left (d x + c\right )^{2} + 3 \, \sqrt {2} {\left (-7 i \, A + 17 i \, B - 33 i \, C\right )} \cos \left (d x + c\right ) + \sqrt {2} {\left (-7 i \, A + 17 i \, B - 33 i \, C\right )}\right )} {\rm weierstrassZeta}\left (-4, 0, {\rm weierstrassPInverse}\left (-4, 0, \cos \left (d x + c\right ) + i \, \sin \left (d x + c\right )\right )\right ) - 21 \, {\left (\sqrt {2} {\left (7 i \, A - 17 i \, B + 33 i \, C\right )} \cos \left (d x + c\right )^{3} + 3 \, \sqrt {2} {\left (7 i \, A - 17 i \, B + 33 i \, C\right )} \cos \left (d x + c\right )^{2} + 3 \, \sqrt {2} {\left (7 i \, A - 17 i \, B + 33 i \, C\right )} \cos \left (d x + c\right ) + \sqrt {2} {\left (7 i \, A - 17 i \, B + 33 i \, C\right )}\right )} {\rm weierstrassZeta}\left (-4, 0, {\rm weierstrassPInverse}\left (-4, 0, \cos \left (d x + c\right ) - i \, \sin \left (d x + c\right )\right )\right )}{60 \, {\left (a^{3} d \cos \left (d x + c\right )^{3} + 3 \, a^{3} d \cos \left (d x + c\right )^{2} + 3 \, a^{3} d \cos \left (d x + c\right ) + a^{3} d\right )}} \]
[In]
[Out]
Timed out. \[ \int \frac {\cos ^{\frac {7}{2}}(c+d x) \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^3} \, dx=\text {Timed out} \]
[In]
[Out]
\[ \int \frac {\cos ^{\frac {7}{2}}(c+d x) \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^3} \, dx=\int { \frac {{\left (C \cos \left (d x + c\right )^{2} + B \cos \left (d x + c\right ) + A\right )} \cos \left (d x + c\right )^{\frac {7}{2}}}{{\left (a \cos \left (d x + c\right ) + a\right )}^{3}} \,d x } \]
[In]
[Out]
\[ \int \frac {\cos ^{\frac {7}{2}}(c+d x) \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^3} \, dx=\int { \frac {{\left (C \cos \left (d x + c\right )^{2} + B \cos \left (d x + c\right ) + A\right )} \cos \left (d x + c\right )^{\frac {7}{2}}}{{\left (a \cos \left (d x + c\right ) + a\right )}^{3}} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\cos ^{\frac {7}{2}}(c+d x) \left (A+B \cos (c+d x)+C \cos ^2(c+d x)\right )}{(a+a \cos (c+d x))^3} \, dx=\int \frac {{\cos \left (c+d\,x\right )}^{7/2}\,\left (C\,{\cos \left (c+d\,x\right )}^2+B\,\cos \left (c+d\,x\right )+A\right )}{{\left (a+a\,\cos \left (c+d\,x\right )\right )}^3} \,d x \]
[In]
[Out]